gtkrange: consider css margin on the slider
authorLapo Calamandrei <calamandrei@gmail.com>
Wed, 12 Nov 2014 16:20:53 +0000 (17:20 +0100)
committerLapo Calamandrei <calamandrei@gmail.com>
Wed, 12 Nov 2014 16:20:53 +0000 (17:20 +0100)
commit5108a27e6c4d77bb92b1f80d548b8f6994a68b89
tree92134eb48497dfc7ccda19433b609c8c98dc2548
parente14cf55b314331fe90388f1941373ffc8cd7093f
gtkrange: consider css margin on the slider

Css margin now works on the slider as they do on the trough.
The margin is not considered in the space allocation as it is for
the trough, so the slider width will be the set slider-width -
margins. Spefifying margins on the main widget in the css will
clearly affect both the trough and the slider, so theme changes are
needed.
gtk/gtkrange.c